<html>
<head><meta charset="utf-8"><title>2020-09-24 meeting agenda · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html">2020-09-24 meeting agenda</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="211009114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211009114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211009114">(Sep 23 2020 at 14:13)</a>:</h4>
<p><code>@**Santiago Pastorino** </code> has last week prepared the draft this week's compiler meetings agenda, it's available on HackMD at this link: <a href="https://hackmd.io/rtJNgRt3Sz2N5jX8c2-m3A">https://hackmd.io/rtJNgRt3Sz2N5jX8c2-m3A</a></p>
<p>I'll starting having a look now at the issues and fill a bit of the agenda, so tomorrow there will be a bit less to do. I see that many discussions on this week's issues have already taken place <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span> </p>
<p>New members of this WG might be interested in giving a quick look at last week agenda <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-09-17.20meeting.20agenda">detailed "making of"</a> that Santiago posted while doing it, very useful to understand how the agenda is prepared</p>



<a name="211009572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211009572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211009572">(Sep 23 2020 at 14:16)</a>:</h4>
<p><span class="user-mention" data-user-id="250987">@apiraino</span> Small Zulip tip: you can write <code>@_**name**</code> (with a <code>_</code> after <code>@</code>) to refer to someone without pinging. E.g. <span class="user-mention silent" data-user-id="250987">apiraino</span></p>



<a name="211009631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211009631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211009631">(Sep 23 2020 at 14:17)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> wow fantastic :D thanks</p>



<a name="211028236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028236">(Sep 23 2020 at 16:30)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> have made a pass over the agenda and adjusted some little things</p>



<a name="211028250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028250">(Sep 23 2020 at 16:30)</a>:</h4>
<p><a href="https://hackmd.io/rtJNgRt3Sz2N5jX8c2-m3A">https://hackmd.io/rtJNgRt3Sz2N5jX8c2-m3A</a></p>



<a name="211028276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028276">(Sep 23 2020 at 16:30)</a>:</h4>
<p>we just need to fill with summaries the issues that do not have any information</p>



<a name="211028303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028303">(Sep 23 2020 at 16:30)</a>:</h4>
<p>if people want to help with that, more than welcome to do so :)</p>



<a name="211028602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028602">(Sep 23 2020 at 16:33)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> could you maybe ping only once in <a class="stream" data-stream-id="238009" href="/#narrow/stream/238009-t-compiler.2Fmeetings">#t-compiler/meetings</a> ?</p>



<a name="211028621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028621">(Sep 23 2020 at 16:33)</a>:</h4>
<p>like @_WG-prioritization or something</p>



<a name="211028642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028642">(Sep 23 2020 at 16:33)</a>:</h4>
<p>... apparently that only works for people and not groups <span aria-label="face palm" class="emoji emoji-1f926" role="img" title="face palm">:face_palm:</span></p>



<a name="211028788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028788">(Sep 23 2020 at 16:34)</a>:</h4>
<p>lol, you're right</p>



<a name="211028804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028804">(Sep 23 2020 at 16:34)</a>:</h4>
<p>I've mentioned the group 4 times</p>



<a name="211028809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028809">(Sep 23 2020 at 16:34)</a>:</h4>
<p>sorry about that</p>



<a name="211028869"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028869" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028869">(Sep 23 2020 at 16:35)</a>:</h4>
<p>it's really a template we have + this time we had the checkin but we can tweak some parts of that to reduce mentions</p>



<a name="211028917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211028917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211028917">(Sep 23 2020 at 16:35)</a>:</h4>
<p><span class="user-mention" data-user-id="232545">@Joshua Nelson</span> maybe do you want to check that on forge and tweak it?</p>



<a name="211029038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211029038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211029038">(Sep 23 2020 at 16:36)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust-forge/blob/master/src/compiler/prioritization/procedure.md#notify-the-team-about-the-meeting">https://github.com/rust-lang/rust-forge/blob/master/src/compiler/prioritization/procedure.md#notify-the-team-about-the-meeting</a></p>



<a name="211029054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211029054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211029054">(Sep 23 2020 at 16:36)</a>:</h4>
<p>sure, will do</p>



<a name="211029066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211029066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211029066">(Sep 23 2020 at 16:36)</a>:</h4>
<p>text is there</p>



<a name="211029092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211029092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211029092">(Sep 23 2020 at 16:36)</a>:</h4>
<p>and also please fix my english <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span></p>



<a name="211029314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211029314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211029314">(Sep 23 2020 at 16:38)</a>:</h4>
<p>hmm, do you want to ping at all if there's not a check-in?</p>



<a name="211029377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211029377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Stu <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211029377">(Sep 23 2020 at 16:39)</a>:</h4>
<p>One ping is fine imo</p>



<a name="211029419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211029419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Stu <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211029419">(Sep 23 2020 at 16:39)</a>:</h4>
<p>Then everyone knows that the agenda is „ready“ and can be reviewed / updated</p>



<a name="211029759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211029759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211029759">(Sep 23 2020 at 16:42)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust-forge/pull/444">https://github.com/rust-lang/rust-forge/pull/444</a></p>



<a name="211044918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211044918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211044918">(Sep 23 2020 at 18:39)</a>:</h4>
<p>have finished adding the latest details and summaries to the agenda, feel free to polish whatever is in it <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span></p>



<a name="211045195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211045195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211045195">(Sep 23 2020 at 18:41)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> I was about to go through the issues (in various sections) that we bring back from last week, to see if there updates to be added</p>



<a name="211045229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211045229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211045229">(Sep 23 2020 at 18:41)</a>:</h4>
<p><span class="user-mention" data-user-id="250987">@apiraino</span> I've completed everything</p>



<a name="211045234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211045234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211045234">(Sep 23 2020 at 18:41)</a>:</h4>
<p>Did you perhaps already had a look at them or can I go on</p>



<a name="211045289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211045289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211045289">(Sep 23 2020 at 18:42)</a>:</h4>
<p>ah ok</p>



<a name="211045300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211045300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211045300">(Sep 23 2020 at 18:42)</a>:</h4>
<p>but feel free to check it out</p>



<a name="211045723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24%20meeting%20agenda/near/211045723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-09-24.20meeting.20agenda.html#211045723">(Sep 23 2020 at 18:45)</a>:</h4>
<p>there a couple is issues that need prioritization, I'd say let's wait tomorrow and then assign a tag on the discussion so far</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>